Free Binary Decision Diagram-Based Synthesis of Compact Crossbars for In-Memory Computing

Automated Synthesis of Computing Nanoscale Crossbars using Formal Methods

Since the fabrication of nanoscale memristors by HP Labs in 2008, there has been a renewed interest in the use of crossbars of nanoscale memristors as digital storage and neuromorphic computing devices. However, the same success has not been replicated in the use of crossbars for performing general-purpose computations that can support the existing software infrastructure originally designed fo...

Novel Applications of a Compact Binary Decision Diagram Library to Important Industrial Problems

Fujitsu Laboratories of America has, over the course of many years, worked to develop the frontier of binary decision diagram (BDD) technology under a project called ParDD. Our technology allows us to partition Boolean functions, represent them very compactly, and process them on a massively parallel computing platform. It has been used to create numerous applications in the field of electronic...

. Assignment Decision Diagram for High - Level Synthesis

In the past, the research on representation for synthesis systems had been focusing on two main issues, the completeness and the e ciency. There is, however, another important issue that is not addressed by most of traditional representations, the uniqueness. This report proposes a representation for synthesis called the Assignment Decision Diagram (ADD) that is complete, e cient and partially ...

Compact Reconfigurable Binary-Decision-Diagram Logic Circuit on a GaAs Nanowire Network

Design, Implementation and Evaluation of Multi-terminal Binary Decision Diagram based Binary Fuzzy Relations

Elimination of redundancies in the memory representation is necessary for fast and efficient analysis of large sets of fuzzy data. In this work, we use MTBDDs as the underlying data-structure to represent fuzzy sets and binary fuzzy relations. This leads to elimination of redundancies in the representation, less computations, and faster analyses. We also extended a BDD package (BuDDy) to suppor...